Brzozowski Derivatives: An Exercise in Combinatory Style
blog.zdsmith.com·2d·
Discuss: Lobsters, Hacker News
💻Programming languages
How Python Type Hints Transform Code Quality and Reduce Bugs in Modern Development
dev.to·10h·
Discuss: DEV
🔬Refinement Types
Issue 490
haskellweekly.news·8h
🔗Functional Compilers
Pleasant Imperative Program Proofs with GallinaC
arxiv.org·1d
⚔️Lean Tactics
Three Months of Go, from a Haskeller's perspective (2016)
memo.barrucadu.co.uk·1h·
Discuss: Hacker News
🔗Functional Compilers
The Ternary Manifesto
homepage.cs.uiowa.edu·1d
📝Concrete Syntax
Yesterday’s talk video posted: Reflection — C++’s decade-defining rocket engine
herbsutter.com·1h·
Discuss: Lobsters, Hacker News, r/cpp
🦀Rust Borrowing
Compiling with Continuations
swatson555.github.io·1d·
Discuss: Hacker News
💻Programming languages
Generic functional parallel algorithms: scan and FFT (2017)
dl.acm.org·7h·
Discuss: Hacker News
🔗Functional Compilers
Advent of Code: Libraries
elly.town·1d
🔒Type Safety
Cactus Language • Mechanics 1
inquiryintoinquiry.com·1h
📝Concrete Syntax
Carbon Copy No.8: Classes Part II
github.com·12h·
Discuss: Hacker News
🎯Gradual Typing
Building tenets: Intelligent context aggregation for AI pair programming
jddunn.github.io·3h·
Discuss: Hacker News
🌀Brotli Internals
How I Built and Deployed an App in 2 days with Lovable, Supabase, and Netlify
towardsdatascience.com·2h
🌀Brotli Internals
Controlling program flow with capabilities in Scala
nrinaudo.github.io·10h·
Discuss: Lobsters, Hacker News
🧠Lisp Dialects
Parallelizable Feynman-Kac Models for Universal Probabilistic Programming
arxiv.org·16h
🧮Kolmogorov Bounds
Language Models Wrestle with Gaps in Understanding
cacm.acm.org·3h
💻Local LLMs
What I learned building a programming language with LLM agents
eddmann.com·3h·
Discuss: Hacker News
🗣️Domain-Specific Languages
I wrote a guide on Go slices (len/cap, append growth, slicing pitfalls, and copy for leak-free code)
reddit.com·4h·
Discuss: r/golang
🦀Rust Macros
Moving off of TypeScript, 2.5M lines of code
engineering.usemotion.com·1d·
Discuss: Hacker News
🎯Gradual Typing